more on this theme     |     more from this thinker     |     more from this text

Single Idea 14671

[filed under theme 4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4 ]

Full Idea

We can say of a wooden table that it would have been possible for it to have originated from some different matter, even though it is not actually possible. So what is necessary fails to be necessarily necessary, and S4 modal logic is fallacious.

Gist of Idea

What is necessary is not always necessarily necessary, so S4 is fallacious

Source

Nathan Salmon (The Logic of What Might Have Been [1989], I)

Book Ref

Salmon,Nathan: 'Metaphysics, Mathematics and Meaning' [OUP 2005], p.131

A Reaction

[compressed]